| abstract class $NUMBER{NTP} < $IS_LT{NTP},$NIL,$STR |
|---|
| **** | Abstract class defined over all numbers Due to contravariance, we need to parametrize over NTP which is the type of the argument to many of the defined routines. |
| $STR | $NIL | $IS_NIL | $IS_LT{_} | $IS_EQ |
| FLT | INT | FLTD |
| div(n: NTP): SAME; |
|---|
| **** | Return the quotient of self and "n" |
| maxval: NTP; |
|---|
| **** | Return the maximal allowed value |
| minus(n: NTP): SAME; |
|---|
| **** | Return self - n |
| plus(n: NTP): SAME; |
|---|
| **** | Return self+n |
| times(n: NTP): SAME; |
|---|
| **** | Return self * n |
| zero: NTP; |
|---|
| **** | Return the zero value |
